Alagic, Suad: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Design of Well-Structured and Correct Programs ||

Alagić, Suad, Arbib, Michael A.

Year:

1978

Language:

english

File:

PDF, 24.01 MB

english, 1978

2

Natural state transformations

Journal:

Journal of Computer and System Sciences

Year:

1975

Language:

english

File:

PDF, 1.45 MB

english, 1975

3

Order-sorted model theory for temporal executable specifications

Suad Alagić, Mara Alagic̀

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.88 MB

english, 1997

4

Institutions: integrating objects, XML and databases

Journal:

Information and Software Technology

Year:

2002

Language:

english

File:

PDF, 239 KB

english, 2002

5

Proof rules for gotos

Michael A. Arbib, Suad Alagić

Journal:

Acta Informatica

Year:

1979

Language:

english

File:

PDF, 389 KB

english, 1979

6

Semantics of Temporal Classes

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 287 KB

english, 2000

7

[ACM Press the 13th ACM SIGPLAN conference - Vancouver, British Columbia, Canada (1998.10.18-1998.10.22)] Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98 - Parametric polymorphism for Java

Solorzano, Jose H., Alagić, Suad

Year:

1998

Language:

english

File:

PDF, 1.31 MB

english, 1998

8

Object-Oriented Technology ||

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

9

O2 and the ODMG Standard: Do they match?

Journal:

Theory and Practice of Object Systems

Year:

1999

Language:

english

File:

PDF, 80 KB

english, 1999

10

Structured extension of COBOL for handling data bases

Suad Alagić, Adnan Kulenović, Muhamed Sarajlić

Journal:

Information Systems

Year:

1976

Language:

english

File:

PDF, 1.21 MB

english, 1976

11

Genericity in Java: persistent and database systems implications

Suad Alagić, Mark Royer

Journal:

The VLDB Journal

Year:

2008

Language:

english

File:

PDF, 432 KB

english, 2008

12

Relational Database Technology ||

Year:

1986

Language:

english

File:

PDF, 18.56 MB

english, 1986

13

Object-Oriented Database Programming ||

Year:

1989

Language:

english

File:

PDF, 23.20 MB

english, 1989

14

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Algebraic specification techniques for parametric types with logic-based constraints

Briggs, David, Alagić, Suad

Year:

2009

Language:

english

File:

PDF, 354 KB

english, 2009

15

[ACM Press the 2013 ACM SIGAda annual conference - Pittsburgh, Pennsylvania, USA (2013.11.10-2013.11.14)] Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 - Automatic versus interactive program verification

Year:

2013

Language:

english

File:

PDF, 338 KB

english, 2013

16

The ODMG object model

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 2.21 MB

english, 1997

17

[ACM Press the 12th ACM SIGPLAN conference - Atlanta, Georgia, United States (1997.10.05-1997.10.09)] Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '97 - The ODMG object model

Year:

1997

Language:

english

File:

PDF, 2.21 MB

english, 1997

18

Type-checking OQL queries in the ODMG type systems

Journal:

ACM Transactions on Database Systems

Year:

1999

Language:

english

File:

PDF, 219 KB

english, 1999

19

Object-Oriented Technology || Types and Constraints

Year:

2015

Language:

english

File:

PDF, 338 KB

english, 2015

20

Parametric polymorphism for Java

Cabana, Brian, Alagić, Suad, Faulkner, Jeff

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 1.53 MB

english, 2004

21

Parametric polymorphism for Java

Solorzano, Jose H., Alagić, Suad

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 1.31 MB

english, 1998

22

Software Engineering: Specification, Implementation, Verification ||

Year:

2017

Language:

english

File:

PDF, 3.22 MB

english, 2017